// Main.java
//
// Informatics 102 Spring 2012
// Code Example
//
// This is a brief example that demonstrates the effect of our aspect.


public class Main
{
	public static void main(String[] args)
	{
		Student s1 = new Student();
		s1.setName("Alex Thornton");

		// This is safe, since s1 has already been initialized.
		System.out.println(s1.getName());
		

		Student s2 = new Student();	
		
		// This will throw an UninitializedException, since s2
		// has not been initialized by having setName() called on it.
		System.out.println(s2.getName());
	}
}
